Unary interpretability logic.

Unary Interpretability Logic

Let T be an arithmetical theory. We introduce a unary modal operator T to be interpreted arithmetically as the unary interpretability predicate over T. We present complete axiomatizations of the (unary) interpretability principles underlying two important classes of theories. We also prove some basic modal results about these new axiomatizations.

Bi-Unary Interpretability Logic

Interpretability Logic

This is an overview a study of interpretability logic in Zagreb for the last twenty years: a brief history and some planes for further research. The idea of treating a provability predicate as a modal operator goes back to Gödel. The same idea was taken up later by Kripke and Montague, but only in the mid–seventies was the correct choice of axioms, based on Löb’s theorem, seriously considered b...

The interpretability logic ILF ∗

In this paper we determine a characteristic class of ILsetframes for the principle F. Then we prove that the principle P is not provable in the system ILF. We use a generalized Veltman model.

Preliminary Notes on Interpretability Logic